Delia Kesner: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Pattern matching as cut elimination

Serenella Cerrito, Delia Kesner

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 538 KB

english, 2004

2

Combining algebraic rewriting, extensional lambda calculi, and fixpoints

Roberto Di Cosmo, Delia Kesner

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.35 MB

english, 1996

3

Confluence of extensional and non-extensional λ-calculi with explicit substitutions

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 242 KB

english, 2000

4

λCalculi with Explicit Substitutions Preserving Strong Normalization

Maria C. F. Ferreira, Delia Kesner, Laurence Puel

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

1999

Language:

english

File:

PDF, 228 KB

english, 1999

5

Expression Reduction Systems with Patterns

Julien Forest, Delia Kesner

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 543 KB

english, 2007

6

First-class patterns

JAY, BARRY, KESNER, DELIA

Journal:

Journal of Functional Programming

Year:

2009

Language:

english

File:

PDF, 259 KB

english, 2009

7

A Typed Pattern Calculus

Delia Kesner, Laurence Puel, Val Tannen

Journal:

Information and Computation

Year:

1996

Language:

english

File:

PDF, 1.24 MB

english, 1996

8

Resource operators for λ-calculus

Delia Kesner, Stéphane Lengrand

Journal:

Information and Computation

Year:

2007

Language:

english

File:

PDF, 1.49 MB

english, 2007

9

A prismoid framework for languages with resources

Delia Kesner, Fabien Renaud

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 473 KB

english, 2011

10

Proof nets and explicit substitutions Using various translations of the $\l$ -calculus into proof nets, new abstract machines have been proposed that exploit the Geometry of Interaction and Dynamic Algebras (Girard 1989; Abramsky and Jagadeesan 1992; Danos 1990), leading to work on optimal reduction (Gonthier et al. 1992; Lamping 1990).

DI COSMO, ROBERTO, KESNER, DELIA, POLONOVSKI, EMMANUEL

Journal:

Mathematical Structures in Computer Science

Year:

2003

Language:

english

File:

PDF, 549 KB

english, 2003

11

Simulating expansions without expansions

Cosmo, Roberto Di, Kesner, Delia

Journal:

Mathematical Structures in Computer Science

Year:

1994

Language:

english

File:

PDF, 2.13 MB

english, 1994

12

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A nonstandard standardization theorem

Accattoli, Beniamino, Bonelli, Eduardo, Kesner, Delia, Lombardi, Carlos

Year:

2014

Language:

english

File:

PDF, 553 KB

english, 2014

13

Special Issue: Selected papers of the 7th and 8th workshops on Logical and Semantic Frameworks with Applications (LSFA)

Finger, Marcelo, Kesner, Delia

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 111 KB

english, 2015

14

Theory and applications of explicit substitutions: Introduction

Journal:

Mathematical Structures in Computer Science

Year:

2001

Language:

english

File:

PDF, 54 KB

english, 2001

15

Strong Normalization through Intersection Types and Memory

Bucciarelli, Antonio, Kesner, Delia, Ventura, Daniel

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 296 KB

english, 2016

16

On abstract normalisation beyond neededness

Bonelli, Eduardo, Kesner, Delia, Lombardi, Carlos, Ríos, Alejandro

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 808 KB

english, 2017

17

A resource aware semantics for a focused intuitionistic calculus

KESNER, DELIA, VENTURA, DANIEL

Journal:

Mathematical Structures in Computer Science

Year:

2017

Language:

english

File:

PDF, 433 KB

english, 2017

18

Foundations of strong call by need

Balabonski, Thibaut, Barenbaum, Pablo, Bonelli, Eduardo, Kesner, Delia

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 884 KB

english, 2017

19

Non-idempotent intersection types for the Lambda-Calculus

Bucciarelli, Antonio, Kesner, Delia, Ventura, Daniel

Journal:

Logic Journal of IGPL

Year:

2017

File:

PDF, 450 KB

2017

20

Tight typings and split bounds, fully developed

ACCATTOLI, BENIAMINO, GRAHAM-LENGRAND, STÃPHANE, KESNER, DELIA

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 946 KB

2020